program synthesis
英 [ˈprəʊɡræm ˈsɪnθəsɪs]
美 [ˈproʊɡræm ˈsɪnθəsɪs]
网络 程序综合; 程序合成
双语例句
- Project funded by Shijiazhuang Science and Technology Program in2004," Fourth-Generation Cephalosporin Cefepime Synthesis of New Technology Research," the main investigator.
2004年石家庄科技攻关计划“第四代头孢菌素头孢吡肟合成新工艺研究”主研。 - A method of inductive program synthesis by concept learning is presented in this paper.
本文介绍一种基于概念学习的归纳程序综合方法。 - In general, design of program can be treated as theorem proving, so program synthesis has close relations with automatic theorem proving.
广义上，程序设计过程就是定理证明过程，因而程序综合与机器定理证明关系密切。 - The design method of normal frequency standard signal source, which utilizes program control digital wave synthesis technology and achieved by microcontroller was given.
采用程控数字波形合成技术，通过单片微型计算机系统实现了工频标准信号源。 - A visual program for synthesis problems of rigid body guidance flat four-bar mechanism with four-position is developed.
针对刚体导引四位置铰链四杆机构综合问题，进行了可视化的程序开发与设计。 - The program of pattern recognition was used to optimize the parameters of AlON synthesis process, and the proper parameters were obtained by inverse projection.
用模式识别结合神经网络对碳热还原氮化合成AlON工艺进行了优化，利用模式逆映射得到了理想的合成工艺参数。 - A new algorithm A# that is a revision of A given in Ref. [ 1] is developed without the introduction of the induction principle. It can be used for performing loop and recursive automatic program synthesis even more satisfactorily.
本文提出不使用归纳原理实现循环和递归程序设计自动化，对文献[1]中算法A~进行了修改，提出算法A~。 - The method fit for the program operation of the computer can be easily used for the synthesis of a finite automation with multi-input and multi-state.
该方法适宜于计算机编程操作，因此可方便地用于多输入多状态有限自动机的综合。 - The application of mode inference in inductive program synthesis
模式推理在归纳程序综合中的应用 - Program synthesis system SSS
综合程序系统SSS - Program control device of frequency synthesis for multiple channels communication
多频道通信程控频率合成器 - The consistency between deduction and knowledge and mechanical learning in program synthesis are discussed.
讨论了程序自动综合中的演绎与知识的协调和自学习问题。 - An Algorithm for Automatic Program Synthesis
自动程序设计的一种改进算法 - A Top-Down Method for Inductive Program Synthesis
自顶向下的归纳程序综合方法 - Program Synthesis Based on General Resolution
基于广义归结的程序综合 - A calculation method and a program description for analysis of the small disturbance stability and synthesis of stabilizers ( PSS) of multimachine 'power systems are presented.
本文介绍了一种对多机电力系统小干扰稳定性进行分析及稳定器（PSS）综合的计算方法和程序。 - With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.
本文以归纳程序综合系统NDIPS为背景，介绍自顶向下的归纳程序综合算法，以及程序假设空间的组织、搜索所采用的技术和策略。 - Natural gas is a kind of efficient, high quality, clean energy, is also a kind of important chemical resource, it is the one of important program of C1 chemical research that Synthesis low carbon olefins from natural gas.
天然气是一种高效、优质、清洁能源，也是一种重要的化工资源，利用天然气制取低碳烯烃是C1化学研究的重要课题之一。 - We bring forward some problems with regard to automated theorem proving based on resolution principle and program extracting. The settlement of these problems will make program synthesis and automated theorem proving applied.
本文提出了基于归结原理实现定理自动证明和程序抽取方面有待解决的问题，这些问题的解决将使得定理机器证明和程序综合从理论走向实用。 - Dtps: a program synthesis system based on tableau method
基于Tableau方法的程序综合系统&DTPS - The Calculation of Adiabatic Temperature Through Computer Program in the Process of Self-Propagating High-Temperature Synthesis
自蔓延高温合成过程中绝热温度的编程计算 - Some general knowledge of solving program equations and synthesis strategy are given and illustrated by examples.
本文给出了求解程序方程所需的知识，给出了综合策略，并举例说明了用该方法进行程序综合的过程。 - The program is developed by means of microwave filter synthesis theory and the analysis of equivalent reactances of waveguide inductive strips.
此程序是根据微波滤波器综合理论以及波导中纵向膜片等效参量的分析方法设计的。 - In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。 - A method of logic program synthesis
逻辑程序综合的一种方法 - Formal program synthesis approach and synthesizer neat
形式化的程序综合方法及综合器NEAT - Graph monitoring program plays an important role in the synthesis automation of substation and the simulation training of power system.
图形监控程序在变电站综合自动化和电力系统仿真培训中占有重要的地位。 - To design a four-factor and three-level orthogonal test program base of the monomers and dosage, and to synthesis the corresponding quaternary polymer as the proportion in turn.
对反应单体及加入量设计一个四因素三水平正交试验方案，依次根据比例合成相应的四元聚合物。 - The shortcomings of the mode are the synthesis of the title for the program source have been modified, and only the binding of the source program and the subtitles synthesis.
缺点在于在合成字幕的同时对节目源进行了修改，用户只有绑定节目源的同时实现字幕合成。 - Streptomyces are mycelial multicellular soil actinomycetes in which adverse environmental conditions induce a developmental program involving complex morphological differentiation coordinated with synthesis of an enormous variety of interesting and useful secondary metabolites.
链霉菌是丝状多细胞土壤放线菌，土壤逆环境诱导链霉菌具有复杂形态分化生命周期，获得合成大量有用次生代谢物能力。